Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
611	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
612	Chu spaces: Complementarity and Uncertainty in Rational Mechanics Vaughan Pratt∗ Dept. of Computer Science Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 12:17:27 Algebraic structures Order theory Topology Lattice theory Abstract algebra Chu space Boolean algebra Finite topological space Filter Mathematics Algebra Structure
613	Event Spaces and Their Linear Logic Vaughan Pratt Computer Sci. Dept., Stanford, CA 94305, USA [removed] April 25, 1991 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-08 11:05:21 Order theory Algebraic structures Mathematical structures Lattice theory Lattice Ideal Partially ordered set Boolean algebra Vector space Mathematics Algebra Abstract algebra
614	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory
615	Fault Classes and Error Detection Capability of Specifcation Based Testing D. Richard Kuhn National Institute of Standards and Technology Gaithersburg, Maryland[removed]USA Some varieties of specifcation based testing Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 10:47:44 Computing Boolean algebra Control theory Fault Power engineering Negation Code coverage Test Disjunctive normal form Software engineering Logic Software testing
616	Boolean Matrix Factorization Pauli Miettinen 6 Nov 2014 Outline Add to Reading List Source URL: dws.informatik.uni-mannheim.de Language: English - Date: 2014-12-12 02:37:52 Linear algebra Multivariate statistics Non-negative matrix factorization Singular value decomposition Dragunov sniper rifle Matrix Ring Online NMF Algebra Mathematics Matrix theory
617	Mathematics Pathways Transfer Inventory For your reference, this spreadsheet contains detailed mathematics course requirements by program for all public universities in Texas. Please contact Jenna Cullinane (jenna.cullin Add to Reading List Source URL: www.utdanacenter.org Language: English - Date: 2014-09-12 14:41:09 Boolean algebra Propositional calculus Closed operator Operator theory Logical disjunction Pi Factorization of polynomials over a finite field and irreducibility tests Mathematics Mathematical analysis Abstract algebra
618	October 2014 Librarian Relations Newsletter Contents WestlawNext Migration Tip – Boolean Searching .................................................................................................................. 1 F Add to Reading List Source URL: static.legalsolutions.thomsonreuters.com Language: English - Date: 2014-10-31 09:32:51 Information retrieval Westlaw Web search engine Prior art Boolean algebra West American Digest System Legal research Law Information science
619	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: bay.uchicago.edu Language: English - Date: 2014-10-15 09:30:00 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing
620	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: ctan.asis.io Language: English - Date: 2014-10-15 09:30:00 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing

UPDATE